/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASI30/FONT#2=BASB30/FONT#10=BAXM30/FONT#11=ZERO30/FONT#3=STA200/FONT#4=NGB25
␈↓ ↓H␈↓␈↓βS␈↓∧ Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305

␈↓ ↓H␈↓∧Telephone 415 497-4430␈↓ 	cNovember 9, 1977 




␈↓ ↓H␈↓Professor Saul Kripke
␈↓ ↓H␈↓Department of Philosophy
␈↓ ↓H␈↓Princeton University
␈↓ ↓H␈↓Princeton, New Jersey 08540

␈↓ ↓H␈↓Dear Professor Kripke:

␈↓ ↓H␈↓        The␈α
Center␈α
for␈α
Advanced␈α
Studies␈α
in␈α
the␈α
Behavioral␈α
Sciences␈α
has␈α
asked␈α
me␈α
to␈α
organize␈α
a
␈↓ ↓H␈↓special␈αinterest␈αgroup␈α
in␈αphilosophy␈αand␈αarti≡cial␈α
intelligence␈αfor␈αthe␈α
academic␈αyear␈α1979-80␈αat␈α
the
␈↓ ↓H␈↓Center.␈α∞ The␈α∞idea␈α
is␈α∞that␈α∞participants␈α∞would␈α
spend␈α∞the␈α∞academic␈α∞year␈α
at␈α∞the␈α∞Center␈α∞and␈α
would
␈↓ ↓H␈↓interact␈α∩with␈α∪other␈α∩members␈α∩of␈α∪the␈α∩group␈α∩as␈α∪well␈α∩as␈α∩pursuing␈α∪their␈α∩scienti≡c␈α∪and␈α∩scholarly
␈↓ ↓H␈↓interests.

␈↓ ↓H␈↓        As␈αyou␈αsee␈αfrom␈α
the␈αenclosed␈αprospectus,␈αthe␈α
group␈αshould␈αinclude␈αpeople␈α
accomplished␈αin
␈↓ ↓H␈↓arti≡cial␈α∞intelligence,␈α∞epistemology,␈α
and␈α∞in␈α∞the␈α
formalization␈α∞of␈α∞intensional␈α∞(intentional)␈α
concepts.
␈↓ ↓H␈↓If␈αyour␈αplans␈αwere␈αcompatible␈αwith␈αparticipating,␈αit␈αwould␈αgreatly␈αenhance␈αthe␈αstudy.␈α Besides␈αthe
␈↓ ↓H␈↓academic␈αyear␈αstudy,␈αwe␈αshould␈αprobably␈αalso␈αplan␈αa␈αconference,␈αand␈αif␈αyou␈αcan't␈αtake␈αpart␈αin␈αthe
␈↓ ↓H␈↓study,␈α∂how␈α∂about␈α∂the␈α∂conference,␈α∂which␈α∂would␈α∂probably␈α∂be␈α∂in␈α∂early␈α∂September␈α∂or␈α∂late␈α∞August
␈↓ ↓H␈↓1979?␈α∃ Also,␈α∃whom␈α∃else␈α∀would␈α∃you␈α∃recommend,␈α∃especially␈α∀in␈α∃the␈α∃area␈α∃of␈α∃formalization␈α∀of
␈↓ ↓H␈↓intensional statements?


␈↓ ↓H␈↓Sincerely,



␈↓ ↓H␈↓John McCarthy
␈↓ ↓H␈↓Director
␈↓ ↓H␈↓Professor of Computer Science